Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
نویسندگان
چکیده
After motivating the introduction of nondeterministic operators into algebraic specifications, a language s with two primitive predicates, identity and inclusion, for specifying nondeterministic operations is introduced. It is given a multialgebraic semantics which captures the singular (call-time-choice) strategy of passing nondeterministic parameters. A calculus NEQ, with restricted substitutivity rules, is introduced. NEQ is sound and complete wrt. the muhialgebraic semantics. A language s is obtained by a slight modification of s admitting plural (run-time-choice) parameters. The multialgebraic semantics is not sufficient for modeling such parameters and it is generalized to power algebras. Augmenting NEQ with one rule for unrestricted substitutivity for the plural variables yields NEQ* which is sound and complete wrt. to the power algebra semantics.
منابع مشابه
A Connection between Categories of (fuzzy) Multialgebras and (fuzzy) Algebras
The purpose of this paper is study the relationship between the categories of fuzzy multialgebras and crisp algebras. In this regards first we briefly study the categories of multialgebras and fuzzy multialgebras and then by using the fundamental relation of multialgebras we construct a functor from category of fuzzy multialgebras to the category of fuzzy algebras and hence. Hence it can be der...
متن کاملCompositional Homomorphisms of Relational Structures (modeled as Multialgebras)
The paper attempts a systematic study of homomorphisms of relational structures. Such structures are modeled as multialgebras (i.e., relation is represented as a set-valued function). The rst, main, result is that, under reasonable restrictions on the form of the deenition of homomorphism, there are exactly nine compositional homomorphisms of multialgebras. Then the comparison of the obtained c...
متن کاملCongruences of Multialgebras
The purpose of this paper is the study of congruence and strong congruence of multialgebras. In this regard first we introduce the notion of compatibility and strong compatibility in multialgebras and then we study congruences on multialgebras as a generalization of congruences in ordinary algebras. We investigate some of the important properties of lattices of congruences and strong congruence...
متن کاملOn the Direct Limit of a Direct System of Complete Multialgebras
In this paper we will prove that the direct limit of a direct system of complete multialgebras is a complete algebra.
متن کاملFunctional identities of degree 2 in CSL algebras
Let $mathscr{L}$ be a commutative subspace lattice generated by finite many commuting independent nests on a complex separable Hilbert space $mathbf{H}$ with ${rm dim}hspace{2pt}mathbf{H}geq 3$, ${rm Alg}mathscr{L}$ the CSL algebra associated with $mathscr{L}$ and $mathscr{M}$ be an algebra containing ${rm Alg}mathscr{L}$. This article is aimed at describing the form of additive mapppi...
متن کامل